<?php

interface ICUnboxable {
	function unboxedValue();
}

?>